Vers une approche pluridisciplinaire de la religion grecque antique
نویسندگان
چکیده
منابع مشابه
Vers une approche à base de règles pour la composition de modèles. Application au profil VUML
Viewpoint-oriented modelling allows to model separately the needs of actors interacting with the system to study. This approach was applied in the VUML profile developed in our team. In the process associated to VUML, several design models have to be composed (merged) to produce a global model of the system. The goal of this paper is to apply the Model Driven Engineering principles to automate ...
متن کاملUne approche IDM de transformation exogène de Wright vers Ada
The formal ADL Wright allows to describe the structural and behavioral aspects ofabstract software architecture. The behavioral aspects are described in CSP and checked using themodel-checker FDR. While the ADL Wright does not offer any means to realize such architecturesabstract. The objective of this work is to open up the ADL Wright for Ada through an automatedapproach based ...
متن کاملVers une approche centrée humain pour la définition de langages de modélisation graphiques
The increasing complexity of information systems (ubiquitous systems, open enterprises, etc.) calls for the introduction of always new modeling languages. However, the development of new domain-specific languages makes the question about their quality an important issue for the modeling of information systems. This article deals with this issue by suggesting a user-centred approach for language...
متن کاملUne approche formelle de la reconfiguration dynamique
RÉSUMÉ. Les applications auto-adaptables modifient leur comportement de façon dynamique et autonome par le biais d’opérations d’introspection, de recomposition, d’ajout et suppression de composants, dans le but de s’adapter aux changements pouvant survenir dans leur contexte d’exécution. Un des moyens de favoriser leur robustesse est de disposer d’un support formel permettant de modéliser ces a...
متن کاملUne approche générique de la réécriture
In this paper we study rewriting as an operational proof system in a generic (i.e. logic-independent) way. To do this, we propose simple conditions which allow to characterise logics were this kind of effective proof can be applied. This conditions are based on a proof tree property, that we call semi-commutation. We then show how to define the standard notion of termination, confluence and loc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Kernos
سال: 1988
ISSN: 0776-3824,2034-7871
DOI: 10.4000/kernos.97